T:Type, L1,L2:(T List). ((null(L2)))  sublist(T; L1; tl(L2))  sublist(T; L1; L2) 

latex

Definitions	t  T, P  Q, x:A. B(x), True, if b then t else f fi , ff, tt, tl(l), null(as), b, prop{i:l}, guard(T), P  Q, P  Q, P  Q, P  Q
Lemmas	null wf, assert wf, not wf, tl wf, sublist wf, nil sublist, false wf, true wf, cons sublist cons